Klaus Ambos-Spies (auth.): tìm kiếm trên Z-Library

Truy cập tự do vào tri thức và văn hóa.

Don't use scam websites

Các bộ lọc được sử dun

Tìm chính xác từ

Tìm chính xác từ

Sách (13)
Phổ biến
- Sắp xếp theo×
- Phổ biến
- Phù hợp nhất
- Đangđược bổ sung
- Theo tên (A-Z)
- Theo tên (Z-A)
- Theo năm
- Kích thước file ↓
- Kích thước file ↑
Danh sách
- Danh sách
- Bảng

1

Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas (eds.)

Năm:

1984

Ngôn ngữ:

english

File:

PDF, 5.49 MB

0 / 0

english, 1984

2

STACS 85: 2nd Annual Symposium on Theoretical Aspects of Computer Science Saarbrücken, January 3–5, 1985

STACS 85: 2nd Annual Symposium on Theoretical Aspects of Computer Science Saarbrücken, January 3–5, 1985

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), K. Mehlhorn (eds.)

Năm:

1985

Ngôn ngữ:

english

File:

DJVU, 3.05 MB

0 / 0

english, 1985

3

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks (eds.)

Năm:

1985

Ngôn ngữ:

english

File:

PDF, 15.78 MB

0 / 0

english, 1985

4

The Nature of Computation. Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

The Nature of Computation. Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Ulrike Brandt (auth.), Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.)

Năm:

2013

Ngôn ngữ:

english

File:

PDF, 5.84 MB

0 / 0

english, 2013

5

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Steven Homer, Dongping Yang (auth.), Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks (eds.)

Năm:

1990

Ngôn ngữ:

english

File:

DJVU, 3.15 MB

0 / 0

english, 1990

6

Computation Theory and Logic

Computation Theory and Logic

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Egon Börger (eds.)

Năm:

1987

Ngôn ngữ:

english

File:

DJVU, 4.50 MB

0 / 0

english, 1987

7

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks (eds.)

Năm:

1985

Ngôn ngữ:

english

File:

PDF, 4.81 MB

0 / 0

english, 1985

8

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Anberrée (auth.), Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 6.42 MB

0 / 0

english, 2009

9

Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), E. Börger, G. Hasenjaeger, D. Rödding (eds.)

Năm:

1984

Ngôn ngữ:

english

File:

DJVU, 3.29 MB

0 / 0

english, 1984

10

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

Năm:

1988

Ngôn ngữ:

english

File:

DJVU, 3.20 MB

0 / 0

english, 1988

11

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Dongping Yang (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

Năm:

1990

Ngôn ngữ:

english

File:

DJVU, 4.21 MB

0 / 0

english, 1990

12

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Anberrée (auth.), Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 6.49 MB

0 / 0

english, 2009

13

CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Jürgen Kämper (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

Năm:

1989

Ngôn ngữ:

english

File:

DJVU, 2.87 MB

0 / 0

english, 1989